Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Bavière And NotCh. Fauchier

List of bibliographic references

Number of relevant bibliographic references: 56.
Ident.Authors (with country if any)Title
000B86 Patrizio Angelini [Italie] ; David Eppstein [États-Unis] ; Fabrizio Frati [Australie] ; Michael Kaufmann [Allemagne] ; Sylvain Lazard [France] ; Tamara Mchedlidze [Allemagne] ; Monique Teillaud [France] ; Alexander Wolff [Allemagne]Universal Point Sets for Planar Graph Drawing with Circular Arcs
000E36 John Nassour [Allemagne] ; Patrick Henaff [France] ; Fethi Benouezdou [France] ; Gordon Cheng [Allemagne]Multi-layered multi-pattern CPG for adaptive locomotion of humanoid robots
001073 Patrizio Angelini [Italie] ; David Eppstein [États-Unis] ; Fabrizio Frati [Australie] ; Michael Kaufmann [Allemagne] ; Sylvain Lazard [France] ; Tamara Mchedlidze [Allemagne] ; Monique Teillaud [France] ; Alexander Wolff [Allemagne]Universal Point Sets for Planar Graph Drawings with Circular Arcs
001540 Jasmin Christian Blanchette [Allemagne] ; Andrei Popescu [Allemagne]Mechanizing the Metatheory of Sledgehammer
001676 Tobias Nipkow [Allemagne] ; Maximilian Haslbeck [Allemagne]A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions
002610 Violeta I. Pérez-Nueno [France, Allemagne] ; Vishwesh Venkatraman [France] ; Lazaros Mavridis [France] ; Tim Clark [Allemagne] ; David W. Ritchie [France]Using Spherical Harmonic Surface Property Representations for Ligand‐Based Virtual Screening
002F98 Ralf Ellner [Allemagne] ; Samir Al-Hilank [Allemagne] ; Johannes Drexler [Allemagne] ; Martin Jung [Allemagne] ; Detlef Kips [Allemagne] ; Michael Philippsen [Allemagne]eSPEM – A SPEM Extension for Enactable Behavior Modeling
003042 Xavier Goaoc [France] ; Stefan König [Allemagne] ; Sylvain Petitjean [France]Pinning a Line by Balls or Ovaloids in ℝ3
004278 Tobias Blum [Allemagne, États-Unis] ; Nicolas Padoy [Allemagne, France] ; Hubertus Feu Ner [Allemagne] ; Nassir Navab [Allemagne]Workflow mining for visualization and analysis of surgeries
004320 Christian Urban [Allemagne] ; Bozhi ZhuRevisiting Cut-Elimination: One Difficult Proof Is Really a Proof
004357 Tobias Blum [Allemagne] ; Nicolas Padoy [Allemagne, France] ; Hubertus Feu Ner [Allemagne] ; Nassir Navab [Allemagne]Modeling and Online Recognition of Surgical Phases Using Hidden Markov Models
004417 Ulrich Klank [Allemagne] ; Nicolas Padoy [Allemagne, France] ; Hubertus Feussner [Allemagne] ; Nassir Navab [Allemagne]Automatic feature generation in endoscopic images
004C29 Andreas Abel [Allemagne]Mixed Inductive/Coinductive Types and Strong Normalization
005238 Martin Groher [Allemagne] ; Nicolas Padoy [Allemagne] ; Tobias F. Jakobs [Allemagne] ; Nassir Navab [Allemagne]New CTA Protocol and 2D-3D Registration Method for Liver Catheterization
005467 Antonia Albani [Allemagne] ; Jan L. G. Dietz [Pays-Bas] ; Johannes Maria Zaha [Allemagne]Identifying Business Components on the Basis of an Enterprise Ontology
005488 Bettina Bazijanec [Allemagne] ; Johannes Maria Zaha [Allemagne] ; Antonia Albani [Allemagne] ; Klaus Turowski [Allemagne]Establishing Interoperability of Coordination Protocols in ad hoc Inter-Organizational Collaborations
005589 Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Julia Zappe [Allemagne, France]Specification and refinement of mobile systems in MTLA and mobile UML
006165 Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France]Truly On-the-Fly LTL Model Checking
006182 A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heám [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigan [Suisse] ; L. Vigneron [France]The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
006302 Alessandro Armando [Italie] ; David Basin [Suisse] ; Jorge Cuellar [Allemagne] ; Michaël Rusinowitch [France] ; Luca Vigan [Suisse]Automated Reasoning for Security Protocol Analysis
006B43 Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne]Refining Mobile UML State Machines
006B93 Reinhold Letz [Allemagne] ; Gernot Stenz [Allemagne]Generalised Handling of Variables in Disconnection Tableaux
006C94 M. Hofmann [Allemagne] ; P. J. Scott [Canada]Realizability models for BLL-like languages
006D23 Klaus Aehlig [Allemagne] ; Ulrich Berger [Royaume-Uni] ; Martin Hofinann [Allemagne] ; Helmut Schwichtenberg [Allemagne]An arithmetic for non-size-increasing polynomial-time computation
007B09 Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Júlia Zappe [Allemagne]A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
008780 B. Sch Tz [Allemagne] ; A. Pretschner [Allemagne] ; F. Huber [Allemagne] ; J. Philipps [Allemagne]Model-Based Development of Embedded Systems
008861 Dominik Haneberg [Allemagne] ; Wolfgang Reif [Allemagne] ; Kurt Stenzel [Allemagne]A Method for Secure Smartcard Applications
009258 Michael Gnatz [Allemagne] ; Frank Marschall [Allemagne] ; Gerhard Popp [Allemagne] ; Andreas Rausch [Allemagne] ; Wolfgang Schwerin [Allemagne]Towards a Living Software Development Process Based on Process Patterns
009329 Michael Gnatz [Allemagne] ; Frank Marschall [Allemagne] ; Gerhard Popp [Allemagne] ; Andreas Rausch [Allemagne] ; Wolfgang Schwerin [Allemagne]Modular Process Patterns Supporting an Evolutionary Software Development Process
009370 Franz Baader [Allemagne] ; Klaus U. Schulz [Allemagne]Combining Constraint Solving
009E00 Klaus U. Schulz [Allemagne]Why Combined Decision Problems Are Often Intractable
009F87 Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz [Allemagne]Predicate diagrams for the verification of reactive systems
00AA41 Yassine Mokhtari [France] ; Stephan Merz [Allemagne]Animating TLA Specifications
00AA57 Emmanuel Olivier [France] ; Emmanuelle Soury [France] ; Jean-Loup Risler [France] ; Fatima Smih [France] ; Kurt Schneider [Allemagne] ; Klaus Lochner [Allemagne] ; Jean-Yves Jouzeau [France] ; Georg H. Fey [Allemagne] ; Jean-Philippe Salier [France]A Novel Set of Hepatic mRNAs Preferentially Expressed during an Acute Inflammation in Rat Represents Mostly Intracellular Proteins
00B361 Rolf Backofen [Allemagne] ; Ralf Treinen [France]How to Win a Game with Features
00BC90 Ludwig Fahrmeir [Allemagne] ; Leonhard Knorr-Held [Allemagne]9. Dynamic Discrete-Time Duration Models: Estimation Viamarkov Chain Monte Carlo
00BF60 Martin Russling [Allemagne]Deriving a class of layer-oriented graph algorithms
00C631 María J. Carrascal [Allemagne] ; Louis F. Pau [France] ; Ludwig Reiner [Allemagne]Knowledge and information transfer in agriculture using hypermedia: a system review
00C694 Josef Brüederl [Allemagne] ; Andreas Diekmann [Suisse]The Log-Logistic Rate Model
00C786 Alexander Clemm [Allemagne]Adding value to MIBs: A relationship layer for management platforms
00C796 Martin Russling [Allemagne]A general scheme for breadth-first graph traversal
00CD64 Wilfried Buchholz [Allemagne] ; Adam Cichon [France] ; Andreas Weiermann [Allemagne]A Uniform Approach to Fundamental Sequences and Hierarchies
00D123 M. Beemster [Pays-Bas] ; P. H Hartel [Pays-Bas] ; L. O Hertzberger [Pays-Bas] ; R. F. H Hofman [Pays-Bas] ; K. G Langendoen [Pays-Bas] ; L. L Li [Allemagne] ; R. Milikowski [Pays-Bas] ; Wg Vree [Pays-Bas] ; H. P Barendregt [Pays-Bas] ; J. C Mulder [Pays-Bas]Experience with a clustered parallel reduction machine
00D198 Eric Monfroy [Allemagne]Gröbner bases: Strategies and applications
00D640 R. Rockwell [Allemagne]Software development is a communication process
00D684 Thom Frühwirth [Allemagne] ; Alexander Herold [Allemagne] ; Volker Küchenhoff [Allemagne] ; Thierry Le Provost [Allemagne] ; Pierre Lim [Allemagne] ; Eric Monfroy [Allemagne] ; Mark Wallace [Allemagne]Constraint Logic Programming
00DA82 Helmut Plünnecke ; Wolfgang Reisig [Allemagne]Bibliography of Petri nets 1990
00E375 Bernhard Möller [Allemagne] ; Andrzej Tarlecki ; Martin WirsingAlgebraic specifications of reachable higher-order algebras
00ED04 Martin Wirsing [Allemagne] ; Peter Pepper [Allemagne] ; Helmut Partsch [Allemagne] ; Walter Dosch [Allemagne] ; Manfred Broy [Allemagne]On hierarchies of abstract data types
00ED06 Harald Ganzinger [Allemagne]Modular compiler descriptions based on abstract semantic data types (Extended Abstract)
00ED63 Hans-Werner Hein [Allemagne]The Erlangen Speech Understanding Project
00ED77 Manfred Broy [Allemagne] ; Martin Wirsing [Allemagne]Partial abstract types
00ED91 Martin Wirsing [Allemagne] ; Manfred Broy [Allemagne]An Analysis of Semantic Models for Algebraic Specifications
00ED93 Wolfgang J. Hess [Allemagne]Algorithms and Devices for Pitch Determination of Speech Signals
00EE29 J. A. Bergstra [Pays-Bas] ; M. Broy [Allemagne] ; J. V. Tucker [Royaume-Uni] ; M. Wirsing [Royaume-Uni]On the power of algebraic specifications
00EE95 M. Broy [Allemagne] ; M. Wirsing [Allemagne] ; J. P. Finance [France] ; A. Quéré [France] ; J. L. Remy [France]Methodical solution of the problem of ascending subsequences of maximum length within a given sequence
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022